SRI International - PDFSEARCH.IO - Document Search Engine

SRI International
Results: 1439

#	Item
141	VSComp: The Verified Software Competition Peter M¨ uller (ETH Zurich) and N. Shankar (SRI) Computer Science Laboratory SRI International Menlo Park, CA Add to Reading List Source URL: www.macs.hw.ac.uk Language: English - Date: 2010-08-31 05:11:40
142	Call for Papers ISSN: 1800-279X Ruhuna Journal of Science The Ruhuna Journal of Science (RJS) is an open access, peer-reviewed international research journal published by Faculty of Science, University of Ruhuna, Sri Lan Add to Reading List Source URL: www.ruh.ac.lk Language: English - Date: 2015-09-04 04:17:01
143	Pointing to places in a deductive geospatial theory ∗ Richard Waldinger Artificial Intelligence Center SRI International Add to Reading List Source URL: www.ai.sri.com Language: English - Date: 2003-04-14 20:27:32
144	Safety Envelope for Security∗ Ashish Tiwari Bruno Dutertre SRI International Pat Lincoln Add to Reading List Source URL: www.csl.sri.com Language: English - Date: 2014-02-10 15:35:49 Algebra Mathematics Linear algebra Matrix theory Invariant Kalman filter Eigenvalues and eigenvectors Principal component analysis Differential geometry of surfaces Control theory Trace Inertial measurement unit
145	Integrating Verification Components? Leonardo de Moura, Sam Owre, Harald Rueß, John Rushby, Natarajan Shankar Computer Science Laboratory SRI International Menlo Park CAUSA Add to Reading List Source URL: vstte.ethz.ch Language: English - Date: 2005-10-11 03:37:04
146	Maximizing Sharing of Protected Information1 Steven Dawson , Sabrina De Capitani di Vimercati , Patrick Lincoln , Pierangela Samarati (1) SRI International, Menlo Park, CA 94025, USA (2) Dipartimento di Elettronica e Aut Add to Reading List Source URL: spdp.di.unimi.it Language: English - Date: 2012-12-10 09:50:02
147	A Security Enforcement Kernel for OpenFlow Networks Phillip Porras† Seungwon Shin‡ Vinod Yegneswaran† Martin Fong† Mabry Tyson† Guofei Gu‡ † SRI International Add to Reading List Source URL: www.openflowsec.org Language: English - Date: 2013-10-15 15:03:15 Computing Cyberwarfare Computer network security Computer networking OpenFlow Network architecture Software-defined networking Nox Firewall Computer network Computer security Denial-of-service attack
148	Automated Test Generation And Verified Software ? John Rushby Computer Science Laboratory SRI International 333 Ravenswood Avenue Add to Reading List Source URL: vstte.ethz.ch Language: English - Date: 2005-10-11 03:37:10
149	Assembling a parallel corpus from RSS news feeds John Fry Artificial Intelligence Center SRI International 333 Ravenswood Avenue Menlo Park, CAUSA Add to Reading List Source URL: www.ai.sri.com Language: English - Date: 2005-09-07 20:38:34

UPDATE